#(s,a) refers to the number of state-action pairs (or state-input pairs). #doc refers to the size of the domain of controller.
axis-aligned axis-aligned-minEntropy lin-logreg lin-logreg-minEntropy lin-oc1 lin-oc1-minEntropy lin-svm lin-svm-minEntropy poly poly-lowrank poly-lowrank-minEntropy poly-lowrankPrio1 poly-lowrankPrio1-minEntropy poly-lowrank_default poly-lowrank_default-minEntropy poly-lowrank_default_rounding poly-lowrank_default_rounding-minEntropy poly-lowrank_permissive poly-lowrank_permissive-minEntropy poly-lowrank_permissive_round poly-lowrank_permissive_round-minEntropy poly-minEntropy polyPrio1 polyPrio1-lowrank_default polyPrio1-lowrank_default-minEntropy polyPrio1-lowrank_default_rounding polyPrio1-lowrank_default_rounding-minEntropy polyPrio1-lowrank_permissive polyPrio1-lowrank_permissive-minEntropy polyPrio1-lowrank_permissive_round polyPrio1-lowrank_permissive_round-minEntropy polyPrio1-minEntropy
cruise_250
#(s,a): 961569
#doc: 320523
nodes: 869
inner nodes: 434
paths: 435
bandwidth: 9
time: 00:00:15.809
DOT / C
nodes: 1067
inner nodes: 533
paths: 534
bandwidth: 10
time: 00:00:15.885
DOT / C
nodes: 557
inner nodes: 278
paths: 279
bandwidth: 9
time: 00:00:35.562
DOT / C
nodes: 657
inner nodes: 328
paths: 329
bandwidth: 9
time: 00:01:01.879
DOT / C
nodes: 341
inner nodes: 170
paths: 171
bandwidth: 8
time: 00:01:43.060
DOT / C
nodes: 385
inner nodes: 192
paths: 193
bandwidth: 8
time: 00:02:22.970
DOT / C
nodes: 721
inner nodes: 360
paths: 361
bandwidth: 9
time: 00:00:22.666
DOT / C
nodes: 817
inner nodes: 408
paths: 409
bandwidth: 9
time: 00:00:32.321
DOT / C
nodes: 347
inner nodes: 173
paths: 174
bandwidth: 8
time: 00:00:45.760
DOT / C
nodes: 639
inner nodes: 319
paths: 320
bandwidth: 9
k=1: 0
k=2: 0
k=3: 7
k=4: 40
time: 00:00:59.525
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:33.599
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:31.908
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:34.282
DOT / C
nodes: 639
inner nodes: 319
paths: 320
bandwidth: 9
k=1: 0
k=2: 0
k=3: 7
k=4: 40
time: 00:01:08.538
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:34.756
DOT / C
nodes: 823
inner nodes: 411
paths: 412
bandwidth: 9
k=1: 0
k=2: 0
k=3: 6
k=4: 5
time: 00:01:01.381
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:31.848
DOT / C
nodes: 825
inner nodes: 412
paths: 413
bandwidth: 9
k=1: 0
k=2: 0
k=3: 9
k=4: 3
time: 00:01:03.613
DOT / C
nodes: 575
inner nodes: 287
paths: 288
bandwidth: 9
k=1: 0
k=2: 2
k=3: 11
k=4: 6
time: 00:01:03.308
DOT / C
nodes: 835
inner nodes: 417
paths: 418
bandwidth: 9
k=1: 0
k=2: 0
k=3: 6
k=4: 2
time: 00:00:56.770
DOT / C
nodes: 635
inner nodes: 317
paths: 318
bandwidth: 9
k=1: 0
k=2: 1
k=3: 10
k=4: 4
time: 00:01:04.884
DOT / C
nodes: 11
inner nodes: 5
paths: 6
bandwidth: 3
time: 00:00:29.181
DOT / C
nodes: 37
inner nodes: 18
paths: 19
bandwidth: 5
time: 00:00:43.339
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:30.657
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:32.305
DOT / C
nodes: 77
inner nodes: 38
paths: 39
bandwidth: 6
k=1: 0
k=2: 1
k=3: 2
k=4: 4
time: 00:00:36.291
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:32.099
DOT / C
nodes: 591
inner nodes: 295
paths: 296
bandwidth: 9
k=1: 0
k=2: 11
k=3: 42
k=4: 6
time: 00:00:57.940
DOT / C
nodes: 697
inner nodes: 348
paths: 349
bandwidth: 9
k=1: 0
k=2: 12
k=3: 39
k=4: 6
time: 00:01:19.894
DOT / C
nodes: 77
inner nodes: 38
paths: 39
bandwidth: 6
k=1: 0
k=2: 1
k=3: 2
k=4: 4
time: 00:00:40.397
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
k=1: 0
k=2: 0
k=3: 0
k=4: 3
time: 00:00:30.737
DOT / C
nodes: 21
inner nodes: 10
paths: 11
bandwidth: 4
time: 00:00:36.012
DOT / C
cruise_300
#(s,a): 1502760
#doc: 500920
nodes: 1157
inner nodes: 578
paths: 579
bandwidth: 10
time: 00:00:23.620
DOT / C
nodes: 1343
inner nodes: 671
paths: 672
bandwidth: 10
time: 00:00:35.576
DOT / C
nodes: 691
inner nodes: 345
paths: 346
bandwidth: 9
time: 00:01:14.294
DOT / C
nodes: 879
inner nodes: 439
paths: 440
bandwidth: 9
time: 00:01:39.898
DOT / C
nodes: 461
inner nodes: 230
paths: 231
bandwidth: 8
time: 00:02:36.245
DOT / C
nodes: 479
inner nodes: 239
paths: 240
bandwidth: 8
time: 00:03:27.988
DOT / C
nodes: 991
inner nodes: 495
paths: 496
bandwidth: 9
time: 00:00:43.219
DOT / C
nodes: 1035
inner nodes: 517
paths: 518
bandwidth: 10
time: 00:01:01.469
DOT / C
nodes: 509
inner nodes: 254
paths: 255
bandwidth: 8
time: 00:01:16.523
DOT / C
nodes: 887
inner nodes: 443
paths: 444
bandwidth: 9
k=1: 0
k=2: 1
k=3: 15
k=4: 43
time: 00:01:29.377
nodes: 305
inner nodes: 152
paths: 153
bandwidth: 8
k=1: 0
k=2: 0
k=3: 5
k=4: 19
time: 00:01:43.611
DOT / C
nodes: 507
inner nodes: 253
paths: 254
bandwidth: 8
k=1: 0
k=2: 6
k=3: 35
k=4: 30
time: 00:01:30.870
nodes: 567
inner nodes: 283
paths: 284
bandwidth: 9
k=1: 0
k=2: 9
k=3: 34
k=4: 31
time: 00:01:39.023
DOT / C
nodes: 887
inner nodes: 443
paths: 444
bandwidth: 9
k=1: 0
k=2: 1
k=3: 15
k=4: 43
time: 00:01:26.306
DOT / C
nodes: 305
inner nodes: 152
paths: 153
bandwidth: 8
k=1: 0
k=2: 0
k=3: 5
k=4: 19
time: 00:01:39.643
DOT / C
nodes: 1055
inner nodes: 527
paths: 528
bandwidth: 10
k=1: 0
k=2: 2
k=3: 9
k=4: 10
time: 00:01:22.363
DOT / C
nodes: 351
inner nodes: 175
paths: 176
bandwidth: 8
k=1: 0
k=2: 0
k=3: 3
k=4: 9
time: 00:01:37.847
DOT / C
nodes: 1063
inner nodes: 531
paths: 532
bandwidth: 10
k=1: 0
k=2: 2
k=3: 18
k=4: 3
time: 00:01:29.741
DOT / C
nodes: 1025
inner nodes: 512
paths: 513
bandwidth: 10
k=1: 0
k=2: 1
k=3: 31
k=4: 4
time: 00:01:51.486
DOT / C
nodes: 1113
inner nodes: 556
paths: 557
bandwidth: 10
k=1: 0
k=2: 2
k=3: 12
k=4: 0
time: 00:01:28.420
DOT / C
nodes: 1041
inner nodes: 520
paths: 521
bandwidth: 10
k=1: 0
k=2: 1
k=3: 23
k=4: 4
time: 00:01:48.095
DOT / C
nodes: 13
inner nodes: 6
paths: 7
bandwidth: 3
time: 00:00:56.494
DOT / C
nodes: 35
inner nodes: 17
paths: 18
bandwidth: 5
time: 00:01:15.325
DOT / C
nodes: 507
inner nodes: 253
paths: 254
bandwidth: 8
k=1: 0
k=2: 6
k=3: 35
k=4: 30
time: 00:01:24.152
DOT / C
nodes: 567
inner nodes: 283
paths: 284
bandwidth: 9
k=1: 0
k=2: 9
k=3: 34
k=4: 31
time: 00:01:38.438
DOT / C
nodes: 653
inner nodes: 326
paths: 327
bandwidth: 9
k=1: 0
k=2: 3
k=3: 30
k=4: 15
time: 00:01:23.997
DOT / C
nodes: 599
inner nodes: 299
paths: 300
bandwidth: 9
k=1: 0
k=2: 6
k=3: 16
k=4: 24
time: 00:01:39.409
DOT / C
nodes: 1063
inner nodes: 531
paths: 532
bandwidth: 10
k=1: 0
k=2: 25
k=3: 69
k=4: 6
time: 00:01:49.806
DOT / C
nodes: 1159
inner nodes: 579
paths: 580
bandwidth: 10
k=1: 0
k=2: 23
k=3: 76
k=4: 6
time: 00:03:04.357
DOT / C
nodes: 653
inner nodes: 326
paths: 327
bandwidth: 9
k=1: 0
k=2: 3
k=3: 30
k=4: 15
time: 00:01:24.958
DOT / C
nodes: 599
inner nodes: 299
paths: 300
bandwidth: 9
k=1: 0
k=2: 6
k=3: 16
k=4: 24
time: 00:01:35.487
DOT / C
nodes: 19
inner nodes: 9
paths: 10
bandwidth: 4
time: 00:01:06.253
DOT / C
Loading...